Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 3.Ident. | Authors (with country if any) | Title |
---|---|---|
003889 | Francisco Durán [Espagne] ; Salvador Lucas [Espagne] ; José Meseguer [États-Unis] | Termination Modulo Combinations of Equational Theories |
005422 | Salvador Lucas [Espagne] | On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting |
008752 | María Alpuente [Espagne] ; Santiago Escobar [Espagne] ; Salvador Lucas [Espagne] | Removing Redundant Arguments of Functions* |
This area was generated with Dilib version V0.6.33. |